• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2018 (2)
    • 2003 (1)
    • 2002 (2)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (7)
    • subject to license (0)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 7 of 7 1 The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts Cramer, Marcos [Verfasser]; Fisseni, Bernhard [Verfasser]; Koepke, Peter [Verfasser]. - Mannheim : Leibniz-Institut für Deutsche Sprache (IDS), Bibliothek, 2018 DNB Subject Category Language Show details 2 From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics Veldman, Jip [Verfasser]; Fisseni, Bernhard [Verfasser]; Schröder, Bernhard [Verfasser]. - Mannheim : Institut für Deutsche Sprache, Bibliothek, 2018 DNB Subject Category Language Show details 3 Sprachtechnologie für die multilinguale Kommunikation : Textproduktion, Recherche, Übersetzung, Lokalisierung Schmidt, Thomas (Mitarb.); Rösner, Dietmar (Mitarb.); Göbel, Tobias (Mitarb.). - Sankt Augustin : Gardez!-Verl., 2003 BLLDB UB Frankfurt Linguistik Show details 4 The Category of Inner Models Koepke, Peter In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 133 (2002) 1, 275 OLC Linguistik Show details 5 Foundations of the Formal Sciences I : Humboldt-Universität zu Berlin, May 7-9, 1999 Löwe, Benedikt (Hrsg.); Rudolph, Florian (Mitarb.); Weiermann, Andreas (Mitarb.)... In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 133 (2002) 1-2, 5-303 BLLDB Show details 6 The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts [Online resource] Cramer, Marcos; Fisseni, Bernhard; Koepke, Peter. IDS-Repository Show details 7 From Proof Texts to Logic. Discourse Representation Structures for Proof Texts in Mathematics [Online resource] Veldman, Jip; Fisseni, Bernhard; Schröder, Bernhard. IDS-Repository Show details

Mobile view All Catalogues UB Frankfurt Linguistik 1 IDS Mannheim 0 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 2 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 2 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 0 Linguistik-Repository 0 IDS Publikationsserver 2 Online dissertations 0 Language Description Heritage 0